[MINI-OS] Add evtchn_bind_interdomain to mini-os, allowing clients to
authorsos22@douglas.cl.cam.ac.uk <sos22@douglas.cl.cam.ac.uk>
Fri, 28 Jul 2006 13:05:02 +0000 (14:05 +0100)
committersos22@douglas.cl.cam.ac.uk <sos22@douglas.cl.cam.ac.uk>
Fri, 28 Jul 2006 13:05:02 +0000 (14:05 +0100)
commite573f4fac04be1866b13b08a31627c7dad06538f
tree314d6a6a71e4ea6de50b9a5c9d8c7a170f33fd94
parent194a6f6b1f79d6bb4c40ce2a4fdafd845be4f2ce
[MINI-OS] Add evtchn_bind_interdomain to mini-os, allowing clients to
bind to interdomain event channels.

Signed-off-by: John D. Ramsdell <ramsdell@mitre.org>
Signed-off-by: Steven Smith <sos22@cam.ac.uk>
extras/mini-os/events.c
extras/mini-os/include/events.h